SEED: A Scalable Approach for Cyber-Physical System Simulation
نویسندگان
چکیده
منابع مشابه
Efficient and Scalable Runtime Monitoring for Cyber–Physical System
Our reliance on cyber–physical systems (CPSs) is increasingly widespread, but scalable methods for the analysis of such systems remain a significant challenge. Runtime verification of CPSs provides a reasonable middle ground between formal verification and simulation approaches, but it comes with its own challenges. A runtime verification system must run directly on the deployed application. In...
متن کاملA Cyber-Physical System-based Approach for Industrial Automation Systems
—Industrial automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. Their software part is considered after the development and integration of mechanics and electronics. This approach narrows the solution space for software and is considered inadequate to address the complexity of today's systems. In this paper, a system-b...
متن کاملCIM compliant multiplatform approach for cyber-physical energy system assessment
With high penetration of distributed renewable energy resources along with sophisticated automation and information technology, cyber-physical energy systems (CPES, i.e. Smart Grids here) requires a holistic approach to evaluate the integration at a system level, addressing all relevant domains. Hybrid cloud SCADA (Supervisory, Control And Data Acquisition), allowing laboratories to be linked i...
متن کاملSpecial Issue on Scalable Cyber-Physical Systems
Cyber–Physical Systems (CPSs) are characterized by the strong interactions among cyber components and dynamic physical components. CPS is expected to play a major role in the development of next-generation smart energy systems, especially for the large scale power systems. Due to the deeply complex intertwining among different components, CPS poses fundamental challenges in multiple aspects, su...
متن کاملTowards Safe and Scalable Cyber-Physical Systems
Specifying, designing, and developing correct, efficient, and resilient software systems is a notoriously hard problem, particularly when placing these systems in open contexts in which they will interact with dynamic and unpredictable physical environments, peers, and adversaries. By “correct” we mean that we know with certainty some desirable invariants of a system. Many techniques are alread...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Services Computing
سال: 2016
ISSN: 1939-1374
DOI: 10.1109/tsc.2015.2491287